توسط محاسبات نمادین اثبات های ساده ای برای تصمیم ناپذیری منطق مرتبه اول و نظریه های ساختارهای پایه ای (مانند الحاق یا حساب) به دست می آیند. با استفاده از دستورزبان ها یک اثبات برای نشان دادن اینکه اعتبار در منطق مرتبه اول تصمیم ناپذیر است (برای فرمول هایی با سور پیشوند ?? در زبان شامل حداقل یک رابطه یک تایی و تابع دوتایی) ارایه می کنیم. یک اثبات مشابه، قضیه ناتمامیت اول گودل برای ساختار رشته ها...

زلزله یکی از مهمترین پدیده های طبیعی است که در ایران با توجه به قرارگیری بر روی گسل ها با آن مواجهیم. برنامه ریزی به منظور آمادگی در برابر عواقب ناشی از وقوع زلزله در دستور کار برنامه ریزان شهری قرار می گیرد. جهت کنترل بحران و کاهش خسارات، مدیریت بحران صورت میگیرد. مدیریت بحران یکی از رویکردهای مدیریت پایدار شهری است. در زمان وقوع بحران و به وجود آمدن شرایط بحرانی تصمیم گیری بسیار حائز اهمیت می...

الگوسازی از ذهن و ارائه مدلی که قابلیت های پیچیده ذهن را داشته باشد یکی از افق های توانمندی بشر است. اگرچه عمده تلاش ها در این زمینه بیش تر از نیم قرن سابقه ندارد و با دستاوردهای مسحورکننده خود یکی از پدیده های شگفتی ساز شده است، اما هر چه این رویا رنگ واقعیت بیش تری به خود می گیرد مشکلات بزرگ تری را بر سر راه نظریه پردازان هوش مصنوعی قرار می دهد. دو مسئله عمده ای که در این زمینه در مقاله حاضر ...

در این مقاله بر اساس مرور ادبیات موضوع و انجام مطالعه کتابخانه ای نسبت به ارائه الگوی سیستم اطلاعات حسابداریمدیریت مبتنی بر پشتیبانی تصمیم گیری و هوش تجاری بر اساس معیارها و خصوصیاتی در قالب چهار گروهشامل سیستمهای مبتنی بر ارتباطات و استنتاج، سیستم های هشدار دهنده و گزارش دهنده، ابزارهای تحلیل و تصمیم گیری اثر بخش بهمنظور سنجش تاثیر در تصمیم گیری مدیران اقدام نموده ایم.با استفاده از ابزار پرسشن...

هدف پژوهش، بررسی سهم منابع خطای منظم در نمره‌های مصاحبه داوطلبان استخدام و برآورد ضرایب تعمیم‌پذیری و اتکاء پذیری در چارچوب نظریه تعمیم پذیری بود. برای این منظور، اطلاعات مربوط به نمره های ارزیابی سطح شایستگی‌های شغلی داوطلبان استخدام در سه شغل مورد نیاز یکی از دانشگاه‌های دولتی با به‌کارگیری یک طرح دو وجهی متقاطع تحلیل شد. سپس سهم منابع خطای منظم دربرگیرنده سوال ها، مصاحبه گران و تعاملات خطاها...

از جمله مباحثی که در سنوات اخیر در مدیریت مطرح شده است مبحث تصمیم گیری در شرایط بحرانی است. فرایند تصمیم گیری معمولا شامل بیان صحیح اهداف، یافتن راه حل های مختلف و ممکن، ارزیابی امکان پذیری آنان، ارزیابی و عواقب و نتایج ناشی از اجرا هر یک از این راه حل ها و نهایتا، انتخاب و اجرا آن راه حلی است که معتقدیم بیشترین کمک را در نیل به اهداف سازمانی مینماید. فرایند تصمیم گیری معمولا شامل بیان صحیح اهد...

داشبوردهای مدیریتی که زیر‎مجموعه ی سیستم های هوش تجاری می باشند در حقیقت سیستم-های نرم‎افزاری نوینی هستند که به سازمان‏ها در جهت غنی‏سازی اهداف با استفاده از اطلاعات وتجزیه و تحلیل آن ها کمک می‏کند. در این پژوهش، که پژوهشی پیمایشی-کاربردی است در ابتدا با ارائه راه کار پیاده سازی سیستم یکپارچه سازی اطلاعات شرکت پارس خودرو در قالب داشبورد مدیریتی، سعی شده است تا با تعریف، نظارت و تحلیل شاخص های ک...